Boolean Specification Based Testing Techniques: a Survey

Boolean expressions are major focus of specifications and they are very much prone to introduction of faults, this survey presents various Boolean specification based testing techniques, and covers more than 30 papers for the same. The various Boolean specification based testing techniques like Cause effect graph, fosters strategy, meaningful impact strategy, Branch Operator Strategy (BOR), Modified Condition/ Decision Coverage (MCDC) compared on the basis of their fault detection effectiveness and the size of test suite. This collection represents most of the existing work performed on Boolean specification based testing techniques. This survey describes the basic algorithms used by these strategies and it also includes operator and operand fault categories for evaluating the performance of above mentioned testing techniques. Finally, this survey contains short summaries of all the papers that use Boolean specification based testing techniques. These techniques have been empirically evaluated by various researchers on a simplified safety related real time control system.